More from this Author
Found 5 books by Heike Wehrheim (Editor)
Integrated Formal Methods
by Michael Leuschel (Editor), Heike Wehrheim (Editor)
Tests and Proofs
by Wolfgang Ahrendt (Editor), Heike Wehrheim (Editor)
Correct System Design
by Roland Meyer (Editor), André Platzer (Editor), Heike Wehrheim (Editor)
Correct System Design
by Roland Meyer (Editor), André Platzer (Editor), Heike Wehrheim (Editor)
Integrated Formal Methods
by Michael Leuschel (Editor), Heike Wehrheim (Editor)